Model Transformers for Dynamical Systems of Dynamic Epistemic Logic
نویسنده
چکیده
This paper takes a dynamical systems perspective on the semantic structures of dynamic epistemic logic (DEL) and asks the question which orbits DEL-based dynamical systems may produce. The class of dynamical systems based directly on action models produce very limited orbits. Three types of more complex model transformers are equivalent and may produce a large class of orbits, suitable for most modeling purposes.
منابع مشابه
Towards Symbolic Factual Change in DEL
We extend symbolic model checking for Dynamic Epistemic Logic (DEL) with factual change. Our transformers provide a compact representation of action models with preand postconditions, for both S5 and the general case. The method can be implemented using binary decision diagrams and we expect it to improve model checking performance. As an example we give a symbolic representation of the Sally-A...
متن کاملSymbolic model checking for Dynamic Epistemic Logic - S5 and beyond
Dynamic Epistemic Logic (DEL) can model complex information scenarios in a way that appeals to logicians. However, existing DEL implementations are ad-hoc, so we do not know how the framework really performs. For this purpose, we want to hook up with the best available model-checking and SAT techniques in computational logic. We do this by first providing a bridge: a new faithful representation...
متن کاملDynamical Multi-Agent Systems in Dynamic Epistemic Logic
The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution is a framework in which dynamic epistemic logic satis es the requirements of being a topological dynamical system, thus interfacing discrete dynamic logics with continuous dynamical systems. Our setting is based on a notion of logical convergence, shown to be equivalent with convergence in the Stone...
متن کاملConvergence, Continuity and Recurrence in Dynamic Epistemic Logic
The paper analyzes dynamic epistemic logic from a topological perspective. The main contribution consists of a framework in which dynamic epistemic logic satisfies the requirements for being a topological dynamical system thus interfacing discrete dynamic logics with continuous mappings of dynamical systems. The setting is based on a notion of logical convergence, demonstratively equivalent wit...
متن کاملA Logic for Global and Local Announcements
In this paper we introduce global and local announcement logic (GLAL), a dynamic epistemic logic with two distinct announcement operators – [φ ]A and [φ ] − A indexed to a subset A of the set Ag of all agents – for global and local announcements respectively. The boundary case [φ ]Ag corresponds to the public announcement of φ , as known from the literature. Unlike standard public announcements...
متن کامل